$\forall$$i$, $j$:$\mathbb{Z}$, $y$:\{$i$$\ldots\,$$j$\}. ($i$ $\leq$ $y$) \& ($y$ $\leq$ $j$)